Proposition 5.1.7

If is a unital -algebra, then is an order unit for .
Proof:
Let be given. By the standard picture of of a unital -algebra we can find projections for some such that . Let denote the unit of , and write instead of . Then and belong to . Hence